(fn f ([]) (1))
